rcv?($e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$ecase1($e$;${\it info}$;$i$.ff;$l$,${\it e'}$.tt)